C. - PDFSEARCH.IO - Document Search Engine

C.
Results: 504177

#	Item
111	Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-09-15 19:04:15 Computing Software engineering Data types Computer programming Primitive types Formal languages Formal methods ANSI/ISO C Specification Language C String Frama-C Permutation
112	C OV ER F E AT U RE Consistency Tradeoffs in Modern Distributed Database System Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-06-14 15:57:11 Computing Data management Data Distributed computing NoSQL Structured storage PACELC theorem Riak Eventual consistency Apache Cassandra Replication Consistency model
113	7 Implementation of the C++ API for Batch BLAS Ahmad Abdelfattah Mark Gates Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-06-29 15:16:19 C++ Computer programming Software engineering Computing Basic Linear Algebra Subprograms Const Typedef C++ string handling Exec Math Kernel Library
114 $Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1$	Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-10-01 09:45:47 Temporal logic Linear temporal logic Theoretical computer science Symbol Mathematical logic Computation tree logic
115	H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of the Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-07-07 16:12:39 Theoretical computer science Logic in computer science Mathematical analysis Mathematics Formal methods Probability Semantics Approximate computing Mathematical optimization Pi Operational semantics
116	Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2017-07-19 14:45:03 Linguistics Computational linguistics Statistical natural language processing Natural language processing Corpus linguistics Applied linguistics Speech recognition Topic model Latent Dirichlet allocation N-gram Stemming Text corpus
117	Personal Data Protection Policy The Science & Technology Park of Crete (STEP-C) pays special attention to the protection of the visitors’ and users’ privacy and personal data. Please note that personal data means, un Add to Reading List Source URL: www.stepc.gr Language: English - Date: 2018-06-26 04:36:52 Data security Data protection Law Privacy law Information privacy Privacy Internet privacy General Data Protection Regulation HTTP cookie Data Protection Officer Personally identifiable information Data Protection Act
118	September 12, 2018 Senator Chuck Grassley, Chairman Senator Dianne Feinstein, Ranking Member United States Senate Committee on the Judiciary 224 Dirksen Senate Office Building Washington, D.C Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-09-12 20:40:02 Brett Kavanaugh Privacy Law Government Privacy of telecommunications Marc Rotenberg NSA warrantless surveillance Electronic Privacy Information Center Supreme Court of the United States Brett Kavanaugh Supreme Court nomination
119	Form No. 120 Prescribed by Secretary of StateElection Notice for use With the Federal Write-In Absentee Ballot (FWAB) R.C Add to Reading List Source URL: miami.ohioboe.com Language: English - Date: 2018-07-27 09:40:33 Piqua Ohio Precinct Ohio Massachusetts House of Representatives Miami County Ohio
120	CONES OF HIGHER-CODIMENSIONAL CYCLES OLIVIER DEBARRE July 14, 2010 This is joint work with L. Ein, R. Lazarsfeld, and C. Voisin (eprint arXiv:, to appear in Compos. Math.). Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2010-07-14 05:23:13 Algebra Geometry Abstract algebra Algebraic geometry Algebraic varieties Convex geometry Divisor Nef line bundle Projective variety Abelian variety Convex cone Ample line bundle